Algebraic and operational semantics of exceptions and errors
نویسندگان
چکیده
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling : error introduction, error propagation and error recovery. The algebraic semantics Of our method and a new correctness criterion is given. We also introduce an operational semantics of a subclass of our specifications which coincides with the algebraic semantics.
منابع مشابه
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors
The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling: error introduction, error propagation and error recovery. The algebraic semantics of our method and a new correctness criterion are given. We also introduce an operational semanti es of a subdass of our specifications which coincides with...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملLinking Operational Semantics and Algebraic Semantics for Wireless Networks
Wireless technology has achieved lots of applications in computer networks. To model and analyze wireless systems, a calculus called CWS and its operational semantics have been investigated. This paper considers the linking between the algebraic semantics and the operational semantics for this calculus. Our approach is to derive the operational semantics from the algebraic semantics. Firstly we...
متن کاملJacobi Operational Matrix Approach for Solving Systems of Linear and Nonlinear Integro-Differential Equations
This paper aims to construct a general formulation for the shifted Jacobi operational matrices of integration and product. The main aim is to generalize the Jacobi integral and product operational matrices to the solving system of Fredholm and Volterra integro--differential equations which appear in various fields of science such as physics and engineering. The Operational matr...
متن کاملLinking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Complex sfotware systems typically involve features like time, concurrency and probability, and probabilistic computations are playing an increasing role. However it is currently challenging to formalize languages incorporating all those features. Recently the language PTSC has been proposed to integrate probability and time with shared-variable concurrency [56, 59], where the operational seman...
متن کامل